#include <printk.h>
#include <keyboard/key.h>
#include <asm/asm.h>
#include <intr/irq.h>

void do_keyboard_isr(intr_arg_t *arg, u64_t no)
{
    u8_t x;
	printk("do_IRQ:%#016lx\t", no);
	io_in8(0x60, x);
	printk("key code:%#016lx\t",x);
	send_EOI(no);
	printk("<RIP:%#016lx\tRSP:%#016lx>\n",arg->rip,arg->rsp);
}

